Compactness versus hugeness at successor cardinals

If [Formula: see text] is regular and text], then the existence of a weakly presaturated ideal on implies text]. This partially answers question Foreman Magidor about approachability As corollary, we show that if there such semiproper, CH holds. We also some barriers to getting tree property saturated simultaneously successor cardinal from conventional forcing methods.